![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Luís Soares Barbosa
Person information
- affiliation: Universidade do Minho, Braga, Portugal
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j51]Zeinab Rahmani
, Armando Nolasco Pinto
, Luís Soares Barbosa
:
Secure two-party computation via measurement-based quantum computing. Quantum Inf. Process. 23(6): 221 (2024) - [j50]José Diogo Guimarães
, Mikhail I. Vasilevskiy, Luís Soares Barbosa:
Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials. Quantum 8: 1242 (2024) - [i8]André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
On Quantum Natural Policy Gradients. CoRR abs/2401.08307 (2024) - [i7]André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
Trainability issues in quantum policy gradients. CoRR abs/2406.09614 (2024) - 2023
- [j49]Zeinab Rahmani
, Luís Soares Barbosa
, Armando N. Pinto
:
Quantum privacy-preserving service for secure lane change in vehicular networks. IET Quantum Commun. 4(3): 103-111 (2023) - [j48]Luiz Fernando Puttow Southier, Dalcimar Casanova, Luís Soares Barbosa
, Cesar Torrico, Marco A. C. Barbosa, Marcelo Teixeira
:
Modelling and control of manufacturing systems subject to context recognition and switching. Int. J. Prod. Res. 61(10): 3396-3414 (2023) - [j47]André Sequeira
, Luís Paulo Santos
, Luís Soares Barbosa
:
Policy gradients using variational quantum circuits. Quantum Mach. Intell. 5(1): 1-15 (2023) - [c105]Juliana Cunha, Alexandre Madeira
, Luís Soares Barbosa
:
Structured Specification of Paraconsistent Transition Systems. FSEN 2023: 1-17 - [c104]Luís Soares Barbosa
, Alexandre Madeira
:
Capturing Qubit Decoherence through Paraconsistent Transition Systems. Programming 2023: 109-110 - [c103]Juliana Cunha, Alexandre Madeira
, Luís Soares Barbosa
:
Stepwise Development of Paraconsistent Processes. TASE 2023: 327-343 - 2022
- [j46]Luís Soares Barbosa:
Coalgebra for the working software engineer. FLAP 9(1): 41-92 (2022) - [j45]José Nuno Oliveira, Jorge Sousa Pinto
, Luís Soares Barbosa
, Pedro Rangel Henriques
:
A tribute to José Manuel Valença. J. Log. Algebraic Methods Program. 128: 100792 (2022) - [j44]Leandro Gomes
, Alexandre Madeira
, Luís Soares Barbosa
:
Weighted synchronous automata. Math. Struct. Comput. Sci. 32(9): 1234-1253 (2022) - [c102]Ana Cruz, Alexandre Madeira
, Luís Soares Barbosa
:
Paraconsistent Transition Systems. LSFA 2022: 3-15 - [c101]Ana Cruz, Alexandre Madeira
, Luís Soares Barbosa
:
A Logic for Paraconsistent Transition Systems. NCL 2022: 270-284 - [i6]André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
Variational Quantum Policy Gradients with an Application to Quantum Control. CoRR abs/2203.10591 (2022) - 2021
- [j43]André Sequeira
, Luís Paulo Santos
, Luís Soares Barbosa
:
Quantum Tree-Based Planning. IEEE Access 9: 125416-125427 (2021) - [j42]Leandro Gomes
, Alexandre Madeira
, Luís Soares Barbosa
:
A semantics and a logic for Fuzzy Arden Syntax. Soft Comput. 25(9): 6789-6805 (2021) - [c100]André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
:
Generalised Quantum Tree Search. Q-SE@ICSE 2021: 39-40 - [c99]Manisha Jain
, Leandro Gomes
, Alexandre Madeira
, Luís Soares Barbosa
:
Towards a specification theory for fuzzy modal logic. TASE 2021: 175-182 - 2020
- [j41]José Diogo Guimarães
, Carlos Tavares
, Luís Soares Barbosa
, Mikhail I. Vasilevskiy:
Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer. Complex. 2020: 3510676:1-3510676:12 (2020) - [j40]Marijn Janssen, Paul Brous, Elsa Estevez, Luís Soares Barbosa
, Tomasz Janowski:
Data governance: Organizing data for trustworthy Artificial Intelligence. Gov. Inf. Q. 37(3): 101493 (2020) - [j39]Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
:
A component-based framework for certification of components in a cloud of HPC services. Sci. Comput. Program. 191: 102379 (2020) - [c98]Ali Hussain Al-Lawati, Luís Soares Barbosa
:
Towards a register-based census in Oman. ICEGOV 2020: 823-826 - [c97]Luís Soares Barbosa
:
Software engineering for 'quantum advantage'. ICSE (Workshops) 2020: 427-429 - [e7]Luís Soares Barbosa
, Alexandru Baltag:
Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Lecture Notes in Computer Science 12005, Springer 2020, ISBN 978-3-030-38807-2 [contents] - [e6]Luís Soares Barbosa
, Mohammad Ali Abam
:
Topics in Theoretical Computer Science - Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings. Lecture Notes in Computer Science 12281, Springer 2020, ISBN 978-3-030-57851-0 [contents] - [i5]Michael de Oliveira, Luís Soares Barbosa:
Quantum Bayesian decision-making. CoRR abs/2010.02088 (2020)
2010 – 2019
- 2019
- [j38]Leandro Gomes
, Alexandre Madeira
, Luís Soares Barbosa
:
Generalising KAT to Verify Weighted Computations. Sci. Ann. Comput. Sci. 29(2): 141-184 (2019) - [c96]Luiz Fernando Puttow Southier, Muriel Mazzetto, Dalcimar Casanova
, Marco A. C. Barbosa, Luís Soares Barbosa
, Marcelo Teixeira
:
Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems. ETFA 2019: 370-377 - [c95]Nuno Ramos Carvalho
, Luís Soares Barbosa
:
Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation. ICEGOV 2019: 76-79 - [c94]Leandro Gomes
, Alexandre Madeira
, Manisha Jain
, Luís Soares Barbosa
:
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. ICFEM 2019: 154-169 - [c93]Leandro Gomes
, Alexandre Madeira
, Luís Soares Barbosa
:
Introducing Synchrony in Fuzzy Automata. LSFA 2019: 43-60 - [i4]Leandro Gomes, Alexandre Madeira
, Luís Soares Barbosa:
Generalising KAT to verify weighted computations. CoRR abs/1911.01146 (2019) - 2018
- [j37]Guillermina Cledou
, Elsa Estevez, Luís Soares Barbosa
:
A taxonomy for planning and designing smart mobility services. Gov. Inf. Q. 35(1): 61-76 (2018) - [j36]Alexandre Madeira
, Luís Soares Barbosa
, Rolf Hennicker, Manuel A. Martins
:
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744: 78-96 (2018) - [j35]Renato Neves
, Luís Soares Barbosa
:
Languages and models for hybrid automata: A coalgebraic perspective. Theor. Comput. Sci. 744: 113-142 (2018) - [c92]Daniel Figueiredo
, Manuel A. Martins
, Luís Soares Barbosa
:
A Note on Reactive Transitions and Reo Connectors. It's All About Coordination 2018: 57-67 - [c91]Nuno Ramos Carvalho
, Luís Soares Barbosa
:
Transforming Legal Documents for Visualization and Analysis. ICEGOV 2018: 23-26 - [c90]Luís Paulo Santos, Luís Nuno Barbosa, Diogo Aires Bessa, Lúcia Pereira Martins, Luís Soares Barbosa
:
Communities of Practice as a tool to support the GCIO function. ICEGOV 2018: 118-126 - [c89]Daniel Figueiredo
, Luís Soares Barbosa
:
Reactive Models for Biological Regulatory Networks. MLCSB 2018: 74-88 - [i3]Luís Soares Barbosa, Alexandre Madeira:
A Research Agenda on Quantum Algoritmics. ERCIM News 2018(113) (2018) - 2017
- [c88]Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services. CLOSER 2017: 201-212 - [c87]Luís Soares Barbosa
, Luís Paulo Santos:
Networks of Universities as a Tool for GCIO Education. EGOV 2017: 117-127 - [c86]Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
:
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. FACS 2017: 198-215 - [c85]Guillermina Cledou
, José Proença
, Luís Soares Barbosa
:
Composing Families of Timed Automata. FSEN 2017: 51-66 - [c84]Luís Soares Barbosa
:
Digital Governance for Sustainable Development. I3E 2017: 85-93 - [c83]Morten Meyerhoff Nielsen
, Nuno Ramos Carvalho
, Linda Veiga
, Luís Soares Barbosa
:
Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis. ICEGOV 2017: 140-148 - [c82]Guillermina Cledou
, Luís Soares Barbosa
:
Modeling Families of Public Licensing Services: A Case Study. FormaliSE@ICSE 2017: 37-43 - [c81]Guillermina Cledou
, José Proença
, Luís Soares Barbosa
:
A Refinement Relation for Families of Timed Automata. SBMF 2017: 161-178 - [c80]Leandro Gomes
, Alexandre Madeira
, Luís Soares Barbosa
:
On Kleene Algebras for Weighted Computation. SBMF 2017: 271-286 - [c79]Luís Soares Barbosa
:
Layered Logics, Coalgebraically. DALI@TABLEAUX 2017: 55-63 - [c78]Alexandre Madeira
, Renato Neves
, Manuel A. Martins
, Luís Soares Barbosa
:
Hierarchical Hybrid Logic. LSFA 2017: 167-184 - 2016
- [j34]Luís Soares Barbosa
, Alcino Cunha
, Alexandra Silva:
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. J. Log. Algebraic Methods Program. 85(5): 805 (2016) - [j33]Renato Neves
, Luís Soares Barbosa
, Dirk Hofmann
, Manuel A. Martins
:
Continuity as a computational effect. J. Log. Algebraic Methods Program. 85(5): 1057-1085 (2016) - [j32]Renato Neves
, Alexandre Madeira
, Manuel A. Martins
, Luís Soares Barbosa
:
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126: 73-93 (2016) - [j31]Alexandre Madeira
, Renato Neves
, Luís Soares Barbosa
, Manuel A. Martins
:
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132: 50-76 (2016) - [c77]Sara Fernandes, Luís Soares Barbosa
:
Applying the 3C Model to FLOSS Communities. CRIWG 2016: 139-150 - [c76]Sara Fernandes, Luís Soares Barbosa
:
Electronic governance in Portugal: a silent pioneer. EGOSE 2016: 77-82 - [c75]Maria Guillermina Cledou
, Luís Soares Barbosa
:
An Ontology for Licensing Public Transport Services. ICEGOV 2016: 230-239 - [c74]Linda Veiga
, Tomasz Janowski
, Luís Soares Barbosa
:
Digital Government and Administrative Burden Reduction. ICEGOV 2016: 323-326 - [c73]Renato Neves
, Luís Soares Barbosa
:
Hybrid Automata as Coalgebras. ICTAC 2016: 385-402 - [c72]Alexandre Madeira
, Luís Soares Barbosa
, Rolf Hennicker, Manuel A. Martins
:
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC 2016: 422-440 - [c71]Renato Neves
, Alexandre Madeira
, Luís Soares Barbosa
, Manuel A. Martins
:
Asymmetric Combination of Logics is Functorial: A Survey. WADT 2016: 39-55 - [c70]Nuno Oliveira, Luís Soares Barbosa
:
An Enhanced Model for Stochastic Coordination. iFMCloud@IFM 2016: 35-45 - [p2]Luís Soares Barbosa
, Manuel A. Martins
, Alexandre Madeira
, Renato Neves
:
Reuse and Integration of Specification Logics: The Hybridisation Perspective. Theoretical Information Reuse and Integration 2016: 1-30 - 2015
- [j30]Alejandro Sanchez, Alexandre Madeira
, Luís Soares Barbosa
:
On the verification of architectural reconfigurations. Comput. Lang. Syst. Struct. 44: 218-237 (2015) - [j29]Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa
:
Towards an engine for coordination-based architectural reconfigurations. Comput. Sci. Inf. Syst. 12(2): 607-634 (2015) - [j28]Alexandre Madeira
, Manuel A. Martins
, Luís Soares Barbosa
, Rolf Hennicker:
Refinement in hybridised institutions. Formal Aspects Comput. 27(2): 375-395 (2015) - [j27]Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
IMCReo: interactive Markov chains for Stochastic Reo. J. Internet Serv. Inf. Secur. 5(1): 3-28 (2015) - [j26]Nuno Oliveira, Luís Soares Barbosa
:
Self-adaptation by coordination-targeted reconfigurations. J. Softw. Eng. Res. Dev. 3: 6 (2015) - [j25]Alejandro Sanchez
, Nuno Oliveira, Luís Soares Barbosa
, Pedro Rangel Henriques
:
A perspective on architectural re-engineering. Sci. Comput. Program. 98: 764-784 (2015) - [j24]Nuno Oliveira
, Luís Soares Barbosa
:
Reasoning about software reconfigurations: The behavioural and structural perspectives. Sci. Comput. Program. 110: 78-103 (2015) - [c69]Alexandre Madeira
, Manuel A. Martins
, Luís Soares Barbosa
:
A logic for n-dimensional hierarchical refinement. Refine@FM 2015: 40-56 - [i2]Renato Neves, Luís Soares Barbosa
, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. CoRR abs/1507.03219 (2015) - 2014
- [j23]Manuel A. Martins
, Alexandre Madeira
, Luís Soares Barbosa
:
The role of logical interpretations in program development. Log. Methods Comput. Sci. 10(1) (2014) - [j22]Luís Soares Barbosa
, Manuel A. Martins
, Marta Carreteiro:
A Hilbert-Style Axiomatisation for Equational Hybrid Logic. J. Log. Lang. Inf. 23(1): 31-52 (2014) - [j21]Luís Soares Barbosa
, Siraj Ahmed Shaikh
:
Selected contributions from the Open Source Software Certification (OpenCert) workshops. Sci. Comput. Program. 91: 139-140 (2014) - [j20]Luís Soares Barbosa
, Markus Lumpe:
Formal Aspects of Component Software (FACS 2010 selected and extended papers). Sci. Comput. Program. 94: 253-254 (2014) - [j19]Francisco Heron de Carvalho Junior, Luís Soares Barbosa
:
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012. Sci. Comput. Program. 96: 175-176 (2014) - [c68]Manuel A. Martins
, Alexandre Madeira
, Luís Soares Barbosa
, Renato Neves
:
Paradigm integration in a specification course. IRI 2014: 492-499 - [c67]Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa
:
Quantitative analysis of Reo-based service coordination. SAC 2014: 1247-1254 - [c66]Nuno Oliveira, Luís Soares Barbosa
:
A Self-Adaptation Strategy for Service-Based Architectures. SBCARS 2014: 1-10 - [c65]Alexandre Madeira
, Renato Neves
, Manuel A. Martins
, Luís Soares Barbosa:
A Dynamic Logic for Every Season. SBMF 2014: 130-145 - [c64]Renato Neves
, Manuel A. Martins
, Luís Soares Barbosa
:
Completeness and Decidability Results for Hybrid(ised) Logics. SBMF 2014: 146-161 - [c63]Alejandro Sanchez, Luís Soares Barbosa
, Alexandre Madeira
:
Modelling and Verifying Smell-Free Architectures with the Archery Language. SEFM Workshops 2014: 147-163 - [c62]Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa
:
ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures. SLATE 2014: 61-76 - [e5]Elsa Estevez, Marijn Janssen, Luís Soares Barbosa:
Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014. ACM 2014, ISBN 978-1-60558-611-3 [contents] - 2013
- [j18]Manuel A. Martins
, Alexandre Madeira
, Luís Soares Barbosa
:
A Coalgebraic Perspective on Logical Interpretations. Stud Logica 101(4): 783-825 (2013) - [c61]Renato Neves
, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Hybridisation at Work. CALCO 2013: 340-345 - [c60]Sara Fernandes, Maria Helena Martinho
, Antonio Cerone, Luís Soares Barbosa
:
Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach. CRIWG 2013: 208-214 - [c59]Renato Neves
, Alexandre Madeira
, Manuel A. Martins
, Luís Soares Barbosa
:
An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) 2013: 45-75 - [c58]Renato Neves
, Alexandre Madeira
, Manuel A. Martins
, Luís Soares Barbosa
:
Giving Alloy a family. IRI 2013: 512-519 - [c57]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
:
A pilot project on non-conventional learning. ITiCSE 2013: 346 - [c56]Nuno Oliveira, Luís Soares Barbosa
:
On the reconfiguration of software connectors. SAC 2013: 1885-1892 - [c55]Alexandre Madeira
, Manuel A. Martins
, Luís Soares Barbosa
:
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP 2013: 75-89 - [c54]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
:
Analysis of FLOSS Communities as Learning Contexts. SEFM Workshops 2013: 405-416 - [c53]Alexandre Madeira
, Renato Neves
, Manuel A. Martins
, Luís Soares Barbosa
:
When Even the Interface Evolves... TASE 2013: 79-82 - [c52]Alejandro Sanchez
, Luís Soares Barbosa
, Daniel Riesco:
Verifying Bigraphical Models of Architectural Reconfigurations. TASE 2013: 135-138 - [c51]Alexandre Madeira
, Manuel A. Martins
, Luís Soares Barbosa
:
Bisimilarity and refinement for hybrid(ised) logics. Refine@IFM 2013: 84-98 - 2012
- [j17]Luís Soares Barbosa
, Meng Sun:
A Calculus for Generic, QoS-Aware Component Composition. Math. Comput. Sci. 6(4): 475-497 (2012) - [c50]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
:
Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government. ICEGOV 2012: 475-476 - [c49]Luís Soares Barbosa
:
Software Components as Invariant-Typed Arrows - (Keynote Talk). SBLP 2012: 1-5 - [c48]Luís Soares Barbosa
, Maria Helena Martinho
:
Mathematical Literacy as a Condition for Sustainable Development. SEFM Satellite Events 2012: 64-77 - [c47]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
, Pantelis M. Papadopoulos
:
FLOSS in Technology-Enhanced Learning. SEFM Satellite Events 2012: 121-132 - [c46]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
:
A Preliminary Analysis of Learning Awareness in FLOSS Projects. SEFM Satellite Events 2012: 133-139 - [c45]Alejandro Sanchez
, Ademar Aguiar
, Luís Soares Barbosa
, Daniel Riesco:
Analysing Tactics in Architectural Patterns. SEW 2012: 32-41 - [c44]Nuno Oliveira, Luís Soares Barbosa
:
Reconfiguration Mechanisms for Service Coordination. WS-FM 2012: 134-149 - [e4]Luís Soares Barbosa
, Markus Lumpe:
Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6921, Springer 2012, ISBN 978-3-642-27268-4 [contents] - [e3]Francisco Heron de Carvalho Junior, Luís Soares Barbosa
:
Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in Computer Science 7554, Springer 2012, ISBN 978-3-642-33181-7 [contents] - 2011
- [j16]Luís Soares Barbosa
, Dimitrios Settas:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 48 (2011) - [c43]Alejandro Sanchez
, Luís Soares Barbosa
, Daniel Riesco:
A language for behavioural modelling of architectural patterns. BM-FA 2011: 17-24 - [c42]Manuel A. Martins
, Alexandre Madeira
, Razvan Diaconescu, Luís Soares Barbosa
:
Hybridization of Institutions. CALCO 2011: 283-297 - [c41]André Martins, Luís Soares Barbosa
, Nuno F. Rodrigues
:
Shacc: A Functional Prototyper for a Component Calculus. CALCO 2011: 413-419 - [c40]Alejandro Sanchez
, Luís Soares Barbosa
, Daniel Riesco:
Bigraphical Modelling of Architectural Patterns. FACS 2011: 313-330 - [c39]Nuno F. Rodrigues
, Nuno Oliveira, Luís Soares Barbosa
:
The Role of Coordination Analysis in Software Integration Projects. OTM Workshops 2011: 83-92 - [c38]Alexandre Madeira
, José M. Faria, Manuel A. Martins
, Luís Soares Barbosa
:
Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM 2011: 269-285 - [c37]João F. Ferreira
, Alexandra Mendes
, Alcino Cunha
, Carlos Baquero
, Paulo F. Silva
, Luís Soares Barbosa
, José Nuno Oliveira
:
Logic Training through Algorithmic Problem Solving. TICTTL 2011: 62-69 - [c36]César Jesus Rodrigues, Manuel A. Martins
, Alexandre Madeira
, Luís Soares Barbosa
:
Refinement by interpretation in π-institutions. Refine@FM 2011: 53-64 - 2010
- [j15]Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh:
Certification of open-source software: A role for formal methods? Comput. Syst. Sci. Eng. 25(4) (2010) - [j14]Ernesto Damiani, Luís Soares Barbosa, Peter T. Breuer, Claudio A. Ardagna:
Special issue: Open Source Certification. Comput. Syst. Sci. Eng. 25(4) (2010) - [j13]Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh
:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010) - [j12]Luís Soares Barbosa
, Sun Meng:
Bringing class diagrams to life. Innov. Syst. Softw. Eng. 6(1-2): 91-98 (2010) - [j11]Nuno F. Rodrigues
, Luís Soares Barbosa
:
Slicing for architectural analysis. Sci. Comput. Program. 75(10): 828-847 (2010) - [c35]Luís Soares Barbosa
, Sun Meng:
QoS-aware Component Composition. CISIS 2010: 1008-1013 - [c34]Sun Meng, Luís Soares Barbosa
:
Towards the introduction of QoS information in a component model. SAC 2010: 2045-2046 - [c33]Luís Soares Barbosa
, Marco Antonio Barbosa
, César Jesus Rodrigues:
Revisiting Context-Aware Component Interconnection. SYNASC 2010: 377-384
2000 – 2009
- 2009
- [j10]Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 20 (2009) - [j9]Marco Antonio Barbosa
, Luís Soares Barbosa
:
A perspective on service orchestration. Sci. Comput. Program. 74(9): 671-687 (2009) - [c32]Marco Antonio Barbosa
, Luís Soares Barbosa
, José Creissac Campos
:
A Coordination Model for Interactive Components. FSEN 2009: 416-430 - [c31]Manuel A. Martins
, Alexandre Madeira
, Luís Soares Barbosa
:
Refinement via Interpretation. SEFM 2009: 250-259 - [c30]João F. Ferreira
, Alexandra Mendes
, Roland Carl Backhouse
, Luís Soares Barbosa
:
Which Mathematics for the Information Society? TFM 2009: 39-56 - [c29]César Jesus Rodrigues, José Nuno Oliveira
, Luís Soares Barbosa
:
A Single Complete Relational Rule for Coalgebraic Refinement. REFINE@FMWeek 2009: 3-19 - [c28]Marco Devesas Campos, Luís Soares Barbosa
:
Implementation of an Orchestration Language as a Haskell Domain Specific Language. FOCLASA 2009: 45-64 - [c27]Manuel A. Martins
, Alexandre Madeira
, Luís Soares Barbosa
:
Refinement by Interpretation in a General Setting. REFINE@FMWeek 2009: 105-121 - [p1]Sun Meng, Luís Soares Barbosa
:
Co-Algebraic Semantic Framework for Reasoning about Interaction Designs. UML 2 Semantics and Applications 2009: 249-280 - [e2]Ana Bove
, Luís Soares Barbosa
, Alberto Pardo, Jorge Sousa Pinto
:
Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures. Lecture Notes in Computer Science 5520, Springer 2009, ISBN 978-3-642-03152-6 [contents] - 2008
- [c26]Luís Soares Barbosa
, José Nuno Oliveira
, Alexandra Silva:
Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99 - [c25]Sun Meng, Luís Soares Barbosa
:
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. QSIC 2008: 17-26 - [c24]Nuno F. Rodrigues
, Luís Soares Barbosa
:
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. SCAM 2008: 265-266 - [c23]Nuno F. Rodrigues
, Luís Soares Barbosa
:
On the Discovery of Business Processes Orchestration Patterns. SERVICES I 2008: 391-398 - [c22]Luís Soares Barbosa
, Sun Meng:
UML Model Refactoring as Refinement: A Coalgebraic Perspective. SYNASC 2008: 340-347 - [c21]Shuling Wang, Luís Soares Barbosa
, José Nuno Oliveira
:
A Relational Model for Confined Separation Logic. TASE 2008: 263-270 - 2007
- [j8]Nuno F. Rodrigues, Luís Soares Barbosa:
Higher-Order Lazy Functional Slicing. J. Univers. Comput. Sci. 13(6): 854-873 (2007) - [c20]Luís Soares Barbosa
, Jácome Cunha
, Joost Visser
:
A type-level approach to component prototyping. SYANCO 2007: 23-36 - [c19]Paula R. Ribeiro, Luís Soares Barbosa
, Shuling Wang:
An Exercise on Transition Systems. TTSS 2007: 89-106 - 2006
- [j7]Nuno F. Rodrigues, Luís Soares Barbosa:
Program Slicing by Calculation. J. Univers. Comput. Sci. 12(7): 828-848 (2006) - [j6]Paula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa:
Generic Process Algebra: A Programming Challenge. J. Univers. Comput. Sci. 12(7): 922-937 (2006) - [j5]Sun Meng, Luís Soares Barbosa
:
Components as coalgebras: The refinement dimension. Theor. Comput. Sci. 351(2): 276-294 (2006) - [j4]Luís Soares Barbosa
, José Nuno Oliveira
:
Transposing partial components - An exercise on coalgebraic refinement. Theor. Comput. Sci. 365(1-2): 2-22 (2006) - [c18]Marco Antonio Barbosa
, Luís Soares Barbosa
:
Configurations of Web Services. FOCLASA 2006: 39-57 - [c17]Marco Antonio Barbosa
, Luís Soares Barbosa
:
An Orchestrator for Dynamic Interconnection of Software Components. CoOrg/MTCoord@COORDINATION 2006: 49-61 - [c16]Marco Antonio Barbosa
, Luís Soares Barbosa
, José Creissac Campos
:
Towards a Coordination Model for Interactive Systems. FMIS@ICFEM 2006: 89-103 - [e1]Zhiming Liu, Luís Soares Barbosa:
Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005. Electronic Notes in Theoretical Computer Science 160, Elsevier 2006 [contents] - 2005
- [j3]A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira:
From Algebras to Objects: Generation and Composition. J. Univers. Comput. Sci. 11(10): 1580-1612 (2005) - [c15]Sun Meng, Luís Soares Barbosa
, Zhang Naixiao:
On Refinement of Software Architectures. ICTAC 2005: 469-484 - [c14]Zhiming Liu, Luís Soares Barbosa
:
Preface. FACS 2005: 1-2 - [c13]Nuno F. Rodrigues
, Luís Soares Barbosa
:
Component Identification Through Program Slicing. FACS 2005: 291-304 - [i1]Nuno F. Rodrigues, Luís Soares Barbosa:
Slicing Functional Programs by Calculation. Beyond Program Slicing 2005 - 2004
- [j2]Marco Antonio Barbosa, Luís Soares Barbosa:
A Relational Model for Component Interconnection. J. Univers. Comput. Sci. 10(7): 808-823 (2004) - [c12]Sun Meng, Luís Soares Barbosa
:
On Refinement of Generic State-Based Software Components. AMAST 2004: 506-520 - [c11]Luís Soares Barbosa
:
A Perspective on Component Refinement. FMCO 2004: 23-48 - [c10]Marco Antonio Barbosa
, Luís Soares Barbosa
:
Specifying Software Connectors. ICTAC 2004: 52-67 - [c9]Sun Meng, Zhang Naixiao, Luís Soares Barbosa
:
On Semantics and Refinement of UML Statecharts: A Coalgebraic View. SEFM 2004: 164-173 - [c8]Nuno F. Rodrigues
, Luís Soares Barbosa
:
Architectural Prototyping: From CCS to .Net. SBMF 2004: 151-167 - [c7]Sun Meng, Bernhard K. Aichernig
, Luís Soares Barbosa
, Zhang Naixiao:
A Coalgebraic Semantic Framework for Component-based Development in UML. CTCS 2004: 229-245 - 2003
- [j1]Luís Soares Barbosa:
Towards a Calculus of State-based Software Components. J. Univers. Comput. Sci. 9(8): 891-909 (2003) - [c6]Luís Soares Barbosa
, José Nuno Oliveira
:
State-based Components Made Generic. CMCS 2003: 39-56 - 2002
- [c5]Luís Soares Barbosa
, José Nuno Oliveira:
Coinductive Interpreters for Process Calculi. FLOPS 2002: 183-197 - 2001
- [b1]Luís Soares Barbosa:
Components as coalgebras. University of Minho, Portugal, 2001 - [c4]Luís Soares Barbosa
:
Process Calculià la Bird-Meertens. CMCS 2001: 47-66 - 2000
- [c3]Luís Soares Barbosa
:
Components as Processes: An Exercise in Coalgebraic Modeling. FMOODS 2000: 397-417
1990 – 1999
- 1999
- [c2]Luís Soares Barbosa:
Prototyping Processes. APPIA-GULP-PRODE 1999: 513-528 - 1997
- [c1]José João Almeida
, Luís Soares Barbosa
, F. Luis Neves, José Nuno Oliveira
:
CAMILA: Prototyping and Refinement of Constructive Specifications. AMAST 1997: 554-559
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint